Coalgebra-to-Algebra Morphisms
ثبت نشده
چکیده
Given a coalgebra p for HG, an algebra s for GH and the obvious notion of morphism from coalgebra to algebra, we observe that morphisms from Gp to s correspond to morphisms from p to Hs in the manner of an adjunction even when there is no adjunction between G and H. This appears to be one of the basic phenomena underlying the transport of special algebras. A proof of Freyd’s Iterated Square Theorem illustrates the interaction with Lambek’s Lemma. Electronic Notes in Theoretical Computer Science 29 (1999), 8 pages.
منابع مشابه
Deformations of Coalgebra Morphisms
An algebraic deformation theory of coalgebra morphisms is constructed.
متن کاملEquational Axiomatizability for Coalgebra
A characterization result for equationally de nable classes of certain coalgebras (including basic hidden algebra) shows that a class of coalgebras is de nable by equations if and only if it is closed under coproducts, quotients, sources of morphisms and representative inclusions. The notions of equation and satisfaction are axiomatized in order to include the di erent approaches in the literat...
متن کاملHopf algebra structure of incidence algebras
The incidence algebra of a partially ordered set (poset) supports in a natural way also a coalgebra structure, so that it becomes a m-weak bialgebra even a m-weak Hopf algebra with Möbius function as antipode. Here mweak means that multiplication and comultiplication are not required to be coalgebraor algebra-morphisms, respectively. A rich theory is obtained in computing modulo an equivalence ...
متن کاملOn descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملA Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra
A characterization result for behaviorally de nable classes of hidden algebras shows that a class of hidden algebras is behaviorally de nable by equations if and only if it is closed under coproducts, quotients, morphisms and representative inclusions. The second part of the paper categorically generalizes this result to a framework of any category with coproducts, a nal object and an inclusion...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999